| 1. | Type inference is supported only for generic procedures
只有泛型过程才支持类型推理。 |
| 2. | You can invoke type inference only by omitting all the type arguments
只需省略所有类型变量，即可调用类型推理。 |
| 3. | Therefore type inference does not work with methods that have no parameters
因此，类型推断不适用于没有参数的方法。 |
| 4. | The same rules for type inference apply to static methods as well as instance methods
相同的类型推断规则也适用于静态方法以及实例方法。 |
| 5. | The compiler applies type inference logic to all generic methods that share the same name
编译器向共享相同名称的所有泛型方法应用类型推断逻辑。 |
| 6. | You cannot invoke type inference on generic classes , structures , interfaces , or delegates
无法对泛型类、泛型结构、泛型接口或泛型委托调用类型推理。 |
| 7. | Type inference takes place at compile time before the compiler attempts to resolve any overloaded method signatures
类型推断在编译时、编译器尝试解析任何重载方法签名之前进行。 |
| 8. | In the overload resolution step , the compiler includes only those generic methods on which type inference succeeded
在重载解析步骤中，编译器仅包括类型推断取得成功的那些泛型方法。 |
| 9. | If you call the generic procedure supplying an array of a different rank number of dimensions , the mismatch causes type inference to fail
如果所调用的泛型过程具有不同秩（维数）的数组，则秩不匹配将导致类型推理失败。 |
| 10. | I am careful to make this type inference optional , and i think it s probably dangerous to use it as a cornerstone of any processing tool chain
我谨慎地将这种类型推断设成可选的功能，认为如果将其作为所有处理工具链条的基础可能是危险的。 |
